Интервальные методы для доказательного решения уравнений и систем уравнений
- J.W. Demmel, F. Krükeberg
- An interval algorithm for solving systems of linear equations to prespecified accuracy // Computing. – 1985. – Vol. 34. – P. 117-129.
- An interval algorithm for solving systems of linear equations to prespecified accuracy // Computing. – 1985. – Vol. 34. – P. 117-129.
- A. Frommer, F. Hoxha, B. Lang
- Proving the existence of zeros using the topological degree and interval arithmetic // Journal of Computational and Applied Mathematics. – 2007. – Vol. 199. – P. 397-402.
- Proving the existence of zeros using the topological degree and interval arithmetic // Journal of Computational and Applied Mathematics. – 2007. – Vol. 199. – P. 397-402.
- E. Kaucher, S.M. Rump
- E-methods for fixed point equations f(x) = x // Computing. – 1982. – Vol. 28. – P. 31-42.
- E-methods for fixed point equations f(x) = x // Computing. – 1982. – Vol. 28. – P. 31-42.
- L.V. Kolev
- An improved interval linearization for solving nonlinear problems // Numerical Algorithms. – 2004. – Vol. 37. – P. 213-224.
- An improved interval linearization for solving nonlinear problems // Numerical Algorithms. – 2004. – Vol. 37. – P. 213-224.
- R. Krawczyk
- A class of interval Newton-operators // Computing. – 1986. – Vol. 37. – P. 179-183.
- A class of interval Newton-operators // Computing. – 1986. – Vol. 37. – P. 179-183.
- R.E. Moore
- Bounding sets in function spaces with applications to nonlinear operator equations // SIAM Review. – 1978. – Vol. 20, No. 3. – P. 492-512.
- Bounding sets in function spaces with applications to nonlinear operator equations // SIAM Review. – 1978. – Vol. 20, No. 3. – P. 492-512.
- S.P. Shary
- Krawczyk operator revised // Proceedings of International Conference on Computational Mathematics ICCM-2004. Workshops / Eds.: Yu.I. Shokin, A.M. Fedotov, S.P. Kovalyov, Yu.I. Molorodov, A.L. Semenov, S.P. Shary. – Novosibirsk: ICM&MG Publisher, 2004. – P. 307-313.
- Krawczyk operator revised // Proceedings of International Conference on Computational Mathematics ICCM-2004. Workshops / Eds.: Yu.I. Shokin, A.M. Fedotov, S.P. Kovalyov, Yu.I. Molorodov, A.L. Semenov, S.P. Shary. – Novosibirsk: ICM&MG Publisher, 2004. – P. 307-313.